A Formal Approach for Incorporating Architectural Tactics into the Software Architecture
نویسندگان
چکیده
Software architects principally leverage successful architectural design practices systematized in terms of architectural styles and tactics. While architectural tactics focus on particular non-functional properties, styles are typical solutions that generally coverage several aspects. The problem is that we do not yet have a formal account of how styles and tactics interact in a way that is sufficient to enable automated synthesis of architectures from application models and the combination of architectural styles and tactics specifications. The contribution of this paper is an extension of our previous work on formal architectural maps that makes this fundamental relationship clear, and a demonstration that it enables automated formal derivation of architectures. Keywords-Software Architecture; Architectural Styles; Architectural Tactics; Architectural Maps; Alloy Language.
منابع مشابه
Quality-driven architecture development using architectural tactics
This paper presents a quality-driven approach to embodying non-functional requirements (NFRs) into software architecture using architectural tactics. Architectural tactics are reusable architectural building blocks, providing general architectural solutions for common issues pertaining to quality attributes. In this approach, architectural tactics are represented as feature models, and their se...
متن کاملFormal Specification of Software Architecture Security Tactics
This paper provides a Z specification for the Software Architectural Tactics of Authentication and Authorization for the Security Quality Attribute. A model of a system is created and each tactic is defined with respect to the model. Each tactic is independent however, the system encompasses all the required functionality for all the tactics.
متن کاملImproving Architectural Design Skills with Design-Based Learning of New Structures
The purposeful and applied learning of Structures as a pillar of architectural design is very important. The current educational content of Structures in architecture departments is based on theoretical discussions, mathematical formulas, and lecture-oriented material. As a result, students are incompetent in applying practical concepts and structural formal analyses to architectural design. Ef...
متن کاملLinking usability to software architecture patterns through general scenarios
Usability is an important quality attribute to be considered during software architecture design. Up to this point, usability has been served only by separating a system s user interface from its functionality to support iterative design. However, this has the effect of pushing revisions to achieve usability toward the end of the software development life cycle. Many usability benefits link dir...
متن کاملTowards a Tactic-Based Evaluation of Self-Adaptive Software Architecture Availability
nowadays, several non-automatic or semi-automatic software architecture evaluation methods have been proposed to evaluate their quality attributes as availability. In spite of their applicability, they are not effective in self-adaptive software architectures due to their off-line properties; e.g., scenario-based methods. Since the architectural tactics provide a bridge between architectural de...
متن کامل